automatic deduction technique
[计] 自动演绎技术
热门查询
- countrified adj. 粗俗的；头脑简单的；乡村的；带乡村风味的；质朴的
- gish [人名] 吉什
- ast n. (Ast)人名；(德、塞、捷、法)阿斯特 abbr. 大西洋标准时间（Atlantic Standard Time）
- seafloor n. 海底
- overemphasis n. 过分强调
- Mandelson [人名] 曼德尔森
- unexploded adj. 未爆炸的；装着炸药的；未发射的
- Liverpool n. 利物浦
- flirting n. 打情骂俏 v. 打情骂俏（flirt的ing形式）；玩弄；摆动 adj. 调情的
- brenner [人名] [英格兰人姓氏] 布伦纳 Berner的变体
- collage n. 抽象拚贴画（用报纸、布、压平的花等碎片拼合而成的） vt. 把…创作成拼贴画，拼贴
- asynchrony n. 不同时性
- Driscoll [人名] [爱尔兰姓氏] 德里斯科尔盖尔语姓氏的英语形式，来源于人名，含义是“中间人”(gobetween,intermediary); [地名] [美国] 德里斯科尔
- grandiosely 浮夸地 夸大地 宏伟地
- assassinated vt. 暗杀；行刺
- central n. 电话总机 adj. 中心的；主要的；中枢的
- mesophilic adj. 亲中介态的；嗜常温的（等于mesophilous，mesophile）
- artificer n. 技工，巧匠；发明家，发明者
- Hilary n. 希拉里（女子名，男子名）
- congenial adj. 意气相投的；性格相似的；适意的；一致的
